Accepting blame for safe tunneled exceptions
نویسندگان
چکیده
منابع مشابه
Safe Asynchronous Exceptions for Python
We demonstrate that the Python programming language is not signal-safe, due to Python’s support for raising exceptions from signal handlers. We examine the approaches that various languages have used when dealing with the combination of asynchrony and exception handling, and propose a modification of the Python language that restores signal safety.
متن کاملExpressive Exceptions for Safe Pervasive Spaces
Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting, and handling complex exceptions. This is because the possible erroneous conditions in pervasive systems are more complicated than conditions found in traditional applications. We devised a novel exception description and detection mechanism based on “situation”a novel extensio...
متن کاملSafe locking for multi-threaded Java with exceptions
There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexical lock primitives on re-entrant locks. These operators may lead to runtime errors and unwanted behavior; e.g., taking a lock without releasing it, ...
متن کاملA Framework for Identification The Effective Factors In Accepting The Accepting The Electronic Word Of Mouth Advertising In Instagram
Nowadays, people rely mostly on the information gathered through word of mouth regarding the purchase of products of using services. On the other hand, due to the expansion of social networks among people and its daily usage in society, these advertisements are mostly published in social networks. However, not all these advertisements are accepted by the audiences. Therefore, the aim of this st...
متن کاملAdjunctions for exceptions
Abstract. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended semantics. We solve this apparent contradiction by defining a logic for exceptions with a proof system which is close to their syntax and where their intended semantics can be seen as a model. This requires a robust framework for logics and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2980983.2908086